PKK Library catalog › Results of search for 'su:{Computer programming} and su-to:Programming Techniques. and au:Bj�rner, Dines.'

	1.	Software Engineering 1 : Abstraction and Modelling / : [electronic resource] : by Bj�rner, Dines [author.1] \| SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format: electronic available online ; Literary form: not fiction Description: XL, 714 p. 38 illus. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	2.	Software Engineering 2 : Specification of Systems and Languages / : [electronic resource] : by Bj�rner, Dines [author.1] \| SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format: electronic available online ; Literary form: not fiction Description: XXIV, 780 p. 151 illus. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)

PKK Library